Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View
نویسندگان
چکیده
منابع مشابه
POWERSET OPERATORS OF EXTENSIONAL FUZZY SETS
Powerset structures of extensional fuzzy sets in sets with similarity relations are investigated. It is proved that extensional fuzzy sets have powerset structures which are powerset theories in the category of sets with similarity relations, and some of these powerset theories are defined also by algebraic theories (monads). Between Zadeh's fuzzy powerset theory and the classical powerset theo...
متن کاملFirst-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the subjects to which the idea applies, and the intension consists of the attributes implied by the idea. From the Montague...
متن کاملTowards an Extensional Calculus of Hyperintensions
In this paper I describe an extensional logic of hyperintensions, viz. Tichý’s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The received view is that an intensional (let alone hyperintensional) context is one that fails to validate transp...
متن کاملEditorial Volume 5, Issue 2
Our Journal's tendency towards the real world in applied linguistics and literary studies should have significant epistemological and methodological consequences in researching the fields. The interest in the real world makes the problems we may have in our everyday lives our 'points of departure' in research. According to my experience of research in our universities throughout their history, ...
متن کاملIntensionality and Two-steps Interpretations
In this paper we considered the extension of the First-order Logic (FOL) by Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the ...
متن کامل